Section: Dissemination

Teaching - Supervision - Juries

• Mario Bravetti

  • Undergraduate: “Tecnologie Web”, 66 hours, 3rd year, University of Bologna, Italy.

  • Master: “Applicazioni e Servizi Web”, 54 hours, 2nd year, University of Bologna, Italy.

• Ugo Dal Lago

  • Undergraduate: “Introduction to Programming in Python”, 20 hours, 1st year, University of Bologna, Italy.

  • Undergraduate: “Optimization”, 36 hours, 2nd year, University of Bologna, Italy.

• Maurizio Gabbrielli

  • Undergraduate: “Programming languages”, 40 hours, 2nd year, University of Bologna, Italy.

  • Master: “Artificial Intelligence”, 60 hours, 2nd year, University of Bologna, Italy.

• Elena Giachino

  • Undergraduate: “Programmazione”, 40 hours, 1st year, University of Bologna, Italy.

• Ivan Lanese

  • Undergraduate: “Programmazione”, 32 hours, 1st year, University of Bologna, Italy.

  • Master: “Business Process Management”, 22 hours, 2nd year, University of Bologna, Italy.

• Cosimo Laneve

  • Undergraduate: “Programmazione”, 70 hours, 1st year, University of Bologna, Italy.

  • Master: “Analisi di Programmi”, 42 hours, 1st year, University of Bologna, Italy.

• Simone Martini

  • Undergraduate: “Introduction to programming in Python”, 58 hours, 1st year, University of Bologna, Italy.

  • Undergraduate: “Computer abilities for biologists”, 8 hours, 1st year, University of Bologna, Italy.

  • Master: “Logical Foundations of Computer Science”, 48 hours, 2nd year, University of Bologna, Italy.

  • PhD: “Proof theory for computer scientists”, 20 hours, University of Bologna, Italy.

• Jacopo Mauro

  • Undergraduate: “Algoritmi e strutture dati”, 20 hours, 1st year, University of Bologna, Italy.

• Giulio Pellitta

  • Undergraduate: “Laboratorio di Operating Systems”, 36 hours, 2nd year, University of Bologna, Italy.

  • Undergraduate: “Attivita' di supporto alla didattica universitaria di Informatica nell'ambito della Piattaforma di e-learning A3”, 140 hours, 1st year, University of Bologna, Italy.

• Davide Sangiorgi

  • Undergraduate: “Operating Systems”, 110 hours, 2nd year, University of Bologna, Italy.

  • Master: “Models for concurrency”, 15 hours, 2nd year, University of Bologna, Italy.

• Marco Solieri

  • Master: “Administration Système”, 29 hours, 3rd year, école d'ingénieurs, Institut Galilé, Université Paris 13, France

  • Master: “Intranet, Internet et Web”, 35 hours, 2nd year, école d'ingénieurs, Institut Galilé, Université Paris 13, France

• Gianluigi Zavattaro

  • Master: “Linguaggi di Programmazione e Modelli Computazionali”, 120 hours, 1st year, University of Bologna, Italy.

• Michele Alberti, “On operational properties of quantitative extensions of the $\lambda$-calculus”. December 2014. Joint degree: Docteur en Mathematiques, Aix-Marseille Université; Dottorato in Informatica, University of Bologna. Supervisors: L. Regnier, S. Martini.

• Ornela Dardha, “Type Systems for Distributed Programs: Components and Sessions”, May 2014. University of Bologna. Supervisor: D. Sangiorgi.

• Tudor Alexandru Lascu, “Automatic deployment of applications in the cloud”, May 2014. University of Bologna. Supervisor: G. Zavattaro.

• Giulio Pellitta, “Extending Implicit Computational Complexity and Abstract Machines to Languages with Control”, May 2014. University of Bologna. Supervisors: U. Dal Lago and S. Martini.

Below are the details on the PhD students in Focus: starting date, topic or provisional title of the thesis, supervisor(s). These are all PhDs in progress.

• Roberto Amadini, January 2012, Constraint Programming, M. Gabbrielli.

• Ferdinanda Camporesi, January 2009, Analysis of system biology, R. Cousot (Ecole Normale, Paris) and M. Gabbrielli

• Alberto Cappai, January 2013; Security, ICC and probabilistic bisimulation, U. Dal Lago.

• Abel Garcia, January 2014, Analysis of Cloud Computing Systems, C. Laneve.

• Saverio Giallorenzo, January 2013, Safe-adaptive services and choreography languages, M. Gabbrielli.

• Jean-Marie Madiot, September 2011, Types, proofs and proof techniques for process calculi, D. Hirschkoff and D. Sangiorgi.

• Alessandro Rioli, January 2012; Bisimulation equivalence in quantum lambda calculi, U. Dal Lago.

• Marco Solieri, December 2011; Géometrie de l'interaction, réseaux, et lambda-calcul, S. Guerrini (Paris Nord) and S. Martini.

• Valeria Vignudelli, January 2014, Probabilities in Higher-Order languages, D. Sangiorgi.